formal mechanism

形式机械论